RenameVar `x' ({-}2) THEN IsectHD $x$ 2 THEN Auto